翻訳と辞書 |
Lightface analytic game : ウィキペディア英語版 | Lightface analytic game
In descriptive set theory, a lightface analytic game is a game whose payoff set ''A'' is a subset of Baire space; that is, there is a tree ''T'' on which is a computable subset of , such that ''A'' is the projection of the set of all branches of ''T''. The determinacy of all lightface analytic games is equivalent to the existence of 0#.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Lightface analytic game」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|